Are Fictional Descriptions Merely Referentiall Vacuous?
نویسندگان
چکیده
منابع مشابه
How Vacuous Is Vacuous?
Model-checking gained wide popularity for analyzing software and hardware systems. However, even when the desired property holds, the property or the model may still require fixing. For example, a property φ: “on all paths, a request is followed by an acknowledgment”, may hold because no requests have been generated. Vacuity detection has been proposed to address the above problem. This techniq...
متن کاملHow Fictional Worlds Are Created
Both adults and children have the ability to not only think about reality but also use their imaginations and create fictional worlds. This article describes the process by which world creation happens, drawing from philosophical and psychological treatments of this issue. First, world creators recognize the need to create a fictional world, as when starting a pretend game or opening a novel. T...
متن کاملNon-vacuous Real-time Requirements
We introduce the property of vacuity for requirements. A requirement is vacuous in a set of requirements if it is equivalent to a simpler requirement in the context of the other requirements. For example, the requirement “if A then B” is vacuous together with the requirement “not A”. The existence of a vacuous requirement is likely to indicate an error. We give an algorithm that proves the abse...
متن کاملWhich Phylogenetic Networks are Merely Trees with Additional Arcs?
A binary phylogenetic network may or may not be obtainable from a tree by the addition of directed edges (arcs) between tree arcs. Here, we establish a precise and easily tested criterion (based on "2-SAT") that efficiently determines whether or not any given network can be realized in this way. Moreover, the proof provides a polynomial-time algorithm for finding one or more trees (when they ex...
متن کاملAre Deterministic Descriptions And Indeterministic Descriptions Observationally Equivalent?
The central question of this paper is: are deterministic and indeterministic descriptions observationally equivalent in the sense that they give the same predictions? I tackle this question for measuretheoretic deterministic systems and stochastic processes, both of which are ubiquitous in science. I first show that for many measure-theoretic deterministic systems there is a stochastic process ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Kagaku tetsugaku
سال: 1972
ISSN: 1883-6461,0289-3428
DOI: 10.4216/jpssj.5.167